PSpace(void) PSpace(PSpace& v) PSpace& operator=(PSpace& s) void debug_out(ostream& c, int indent)
Standard housekeeping functions.